This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Continue readingThese proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Continue reading